The Computer Scientist Nightmare - My Favorite Bug
نویسنده
چکیده
منابع مشابه
Flexible Secure Cloud Storage
Our life without Internet-based services is hard to imagine: We search for information with Google, share thoughts on Facebook, buy at Amazon and store our pictures on Flickr. Many of these Internet-based services focus on easy exchange of information, providing comfortable and ubiquitous storage and sharing. Relieved from hardware purchases, software bug fixes and infrastructure maintenance, u...
متن کاملEfficiency of Extended Static Checkers
Most research in computer science, software engineering, formal methods, and perhaps a few other programming-related disciplines contributes techniques and ideas that improve the quality of software. The quality has two faces. A program is good if it does what the programmers intended. A program is really good if it does what its users want. The problem of making programmers’ intentions agree w...
متن کاملTechnical Overview of the Common Language Runtime ( or why the JVM is not my favorite execution environment ) Erik Meijer and Jim Miller
In the last few years many language researchers have moved to the JVM as the delivery vehicle for their languages. Although the JVM is a great target for the Java programming language, it is not necessarily a good platform for other languages, especially languages that require semantic features that do not appear in Java . In this paper we compare the JVM with the new Microsoft .NET Common Lang...
متن کاملFamily-friendly science.
tion. I defended my thesis with spit up on my blouse while my 8-monthold daughter waited in the hallway with a babysitter. I lugged her to field sites, carrying her on my back while wading into ponds to collect data on frog populations. But over time, this approach wore me out. I was both disappointed in myself for not being productive enough in my research and frustrated that I wasn’t spending...
متن کاملChallenges of Symbolic Computation My Favorite Open Problems Y with an Additional Open Problem By
The success of the symbolic mathematical computation discipline is striking. The theoretical advances have been continuous and signiicant: Grr obner, Risch, LLL, WZ, etc. From the beginning in the early 60s, it has been the tradition of our discipline to create software that makes our ideas readily available to scientists, engineers, and educators: SAC-1, Reduce, Macsyma, etc. The commercial vi...
متن کامل